In this broad introduction to topology, the author searches for topological invariants of spaces, together with techniques for their calculating. Students with knowledge of real analysis, elementary group theory, and linear algebra will quickly become familiar with a wide variety of techniques and applications involving point-set, geometric, and algebraic topology. Over 139 ill...(展开全部)

'...an excellent and accessible introduction to the later Heidegger' - "Choice". 'Heidegger's method is unmistakable in these lectures...This is thinking that is alive, always green' - "Review of Metaphysics". 'This translation ...enlarges our historical view of the probing advances in Heidegger's thought' "International Studies in Philosophy". This clear translation of Martin ...(展开全部)

Basic Writings is the finest single-volume anthology of the work of Martin Heidegger, widely considered one of the most important modern philosophers. Its selections offer a full range of the influential author's writings—including "The Origin of the Work of Art," the introduction to Being and Time , "What Is Metaphysics?," "Letter on Humanism," "The Question Concerning Techn...(展开全部)

i.r. 沙法列维奇(igor r. shafarevich)，著名代数学家。1923年6月3日生于乌克兰日托米尔 (zhytomyr)，罗蒙诺索夫国立莫斯科大学教授。早年在斯捷克洛夫数学研究所获得博士学位（师从boris delone）。对代数数论、代数几何和算术代数几何有基本的重要贡献。工作包括shafarevich-weil定理，golod-shafarevich定理、tate-shafarevich群、 grothendieck-ogg-shafarevich公式、néron-ogg-shafarevich 准则、有限可解群是有理数域上的galois群的证明、关于代数曲面的研究等。1959年获得列宁奖章。苏联（俄罗斯）科学院通讯院士和美国科学院外籍院士。 李福安，1944年1月生，浙江杭州人。1966年7月毕业于复旦大学数学系，1978年考取...(展开全部)

The first part of this volume is based on a course taught at Princeton University in 1961-62; at that time, an excellent set of notes was prepared by David Cantor, and it was originally my intention to make these notes available to the mathematical public with only quite minor changes. Then, among some old papers of mine, I accidentally came across a long-forgotten manuscript b...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)